$\forall$$w$:World, $e$:E. ($\neg$($\uparrow$first($e$))) $\Rightarrow$ (time(pred($e$)) $<$ time($e$))